Is xy 0 1 x