Removed unnecessary ensures