(x y) is 5