x - y = 3