Implemented verify/1