(x . x) ~~zzZ ((x . x)~zZ)