Fish Wang
says to
YSITD
| 3 - x | >= 4 | -3/4 * x + 1 | >= 1