Definition of "ensures"