Implemented ensure functionality to verify the public argument paramater check.