Verification must stop if observer says so.