($x==4) with ($x==0)