Describe AuditorsForTheVerifiers here.
These folks are hired by the regulatory agency, the body concerned about the safety of the software. They were hired in Ottawa, not Toronto.
The Auditors make sure the Verifiers don't take shortcuts.
They periodically sample the audit trail left by the Verifiers.
Go up to ParnasSoftwareReviewPatterns