67. For all rational numbers x and y