2 problems

Separation conjecture. For every derivation $T\vdash_{\mathsf{SKS}}R$, there is a derivation of the form

Interpolation conjecture. For every derivation $T\vdash_{\mathsf{SKS}}R$, there is a structure $P$ and derivations