All dependents of theorems/irmagician