Y\vdash\lnot\lnot Y