EXSERTIONS

Definition of EXSERTIONS