This function only does verification. Should it return a `bool` instead of conditionally side-effect with an error?