{\displaystyle \neg \neg A\to A}