Interval evaluations

This is why a remainder smaller than a selected minor does not, by itself, replace exact coverage and annihilation.

Figure fig:VI-certificate-audit illustrates why catalogue coverage and exact annihilation cannot be replaced by a selected submatrix or an uncontrolled small residual.