{} null S = {} /\ S ;
hence {} null S is S -sequents-like ; :: thesis: verum