1 = (2 <> 3)