TERMINATIONS

Definition of TERMINATIONS