S : elim- !.