21.5.16.
(∃x).(y).φ(x,y); (y).(∃x).φ(x,y); (x) (∃y).φx,y.
(∃y) (x) φ(xy) . (∃x) (∃y) φ(x,y); (x).(y) φ(x y)