All dependents of theorems/clojure