I think normally we raise an exception if `verify` fails?