T\vdash\psi\qquad\mbox{akko}\qquad T^*\vdash\psi.