If e x y then