ENSURES

Definition of ENSURES