21.5.16.
(∃x).(y).φ(x,y); (y).(∃x).φ(x,y); (x) (∃y).φx,y.
(∃y) (x) φ(xy) . (∃x).(∃y) [x|φ](x,y); (x).(y) φ(x y)