>>4242132

So if this proof is Example 22A, is it safe to say that is a marker that can be used to count backwards for proofs before this one?