If x y then z