Dual: (fresh : ∃a.a) opening it over and over...