Ψ(Φ∀Φ)Ψ