you could use `verify_p`