$$y\le2X+3; y<x+4$$
$x>z-4$
$y=z\text{ and }z\leq 2X+3$
$z=y$
