(x iff y) and (y iff z)