x \ y x.