take the Subset of (S -sequents) ; :: thesis: the Subset of (S -sequents) is S -sequents-like
thus the Subset of (S -sequents) is S -sequents-like ; :: thesis: verum