why doesn't this raise ``VerificationError`` for consistency?