Found a sentence fragment, probably from a previous re-write:
Under the “Verify” heading: If you have an expression that This means that you should use Verify macros only when the expression needs to run independently of diagnostic checks.
(emphasis mine)