x xy y 1