All dependents of theorems/silvur