:test not false
:test {1, 2} =!= {2, 1}
:test exists a : Bool, b : Bool. (a and b) =!= (a or b)
:test forall a : Bool, b : Bool. (a and b) =!= (a or b)