STCC-SK: convertibility, soundness, completeness.