Def b == if b false else true fi

Thm* b:. b