$a\equiv \neg \neg a$