!a = ()
~b = ()