(∃α) . [φα❘ψβ …]

φx ❘ ψy
❘ (ξ,η) … = φ0 (x,y, …)


(∃x).φ0(x,y, …), (∃y):(∃x). φ0(x,y …)

(∃α)∴(∃α):(∃α).φ0(α,α,α, …)

(∃α)φ0(α …) …