  The reason why responses in category (Ib) only count as weakly contraction-free is that, as steps 1–3 show, they accept the contraction principle according to which if  \(\alpha \vdash_{\mathcal{T}} \alpha {\rightarrow}\beta\) then  \(\alpha \vdash_{\mathcal{T}} \beta\).