\vdash Y\Rightarrow\lnot\lnot Y