x-1>0  \wedge