$$x = y ^ { 0 } + 4 , x$$
$x=5$
$y\neq 0$
$y\neq 0$
$x=5\text{ and }y\neq 0$
