{\displaystyle a\iff \neg a}