All dependents of theorems/moncee