Separation conjecture. For every derivation T⊢SKSRT\vdash_{\mathsf{SKS}}RT⊢SKSR, there is a derivation of the form
