~ is equivalent to ~
(1 = )
what is this nonsense?