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

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

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

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

(∃α){φ0(α …)} …