ϕ \ {(a, free (0)

by tail
Venue:8)}) † ) ∧ x + 4 ↦→ y