All dependents of univalence/speculoos