All dependents of conjecture