\lnot A\vdash\lnot A