no (x -> y) = z