Completeness under class enlargement

In particular, an enlargement may destroy the blind-row proof. An unbounded derivative or field enlargement may also destroy finite-dimensionality of the correction space. A finite displayed list then cannot be declared complete solely by analogy with the $15120$-label construction.

This is the evaluated-coverage qualification in finite-bank arguments such as the supplied VII-H record CheungVII. An annihilator is a complete separator only after the full allowed ambiguity has been accounted for.