All dependents of name.stadig/conjecture