I think get it now. **lightbulb**
We are looking for a rephrasing that FORCES z>1.
if x+y is 2, then z can be zero
if x+y is 1, then z can be zero
if x+y is 0, then z can be 1
if x+y is -1, then z must be greater than 1. In order for x+y+z>0.
BUT one thing I still don't get.... shouldn't it be rephrased as .... if x+y <= -1 , then z>1.
We are looking for a rephrasing that FORCES z>1.
if x+y is 2, then z can be zero
if x+y is 1, then z can be zero
if x+y is 0, then z can be 1
if x+y is -1, then z must be greater than 1. In order for x+y+z>0.
BUT one thing I still don't get.... shouldn't it be rephrased as .... if x+y <= -1 , then z>1.













