Ensures

Definition of Ensures