Sorry to keep going on about style here, but we want space around operators, so that's (x <= y), and also (y - x), not (x<=y) and (y-x).