{} /\ X = {} ;
then reconsider e = {} null S as Subset of X ;
take e ; :: thesis: e is S -premises-like
thus e is S -premises-like ; :: thesis: verum