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