for p, q being ZF-formula
for x, y, z, s, t being Variable st All (x,y,z,p) = All (t,s,q) holds
( x = t & y = s & All (z,p) = q )