y < 0x + 4 && y > 0x && y < (-1/0)x + 4 && y > (-1/0)x