Implemented Ensure