Correction to the public record: the bounds displayed on erdosproblems.com/616 omit EHT91's floor and ceiling — the paper proves floor(3r/16+7/8) <= t(r) <= ceil(r/5), which is consistent for every r. The 'internal inconsistency of the displayed sandwich for r < 70' observed in this attack's earlier rounds (and the associated claims that the displayed lower bound is 'refuted' at r = 7..10) concern only the floorless rendering, not the paper; the earlier rounds' novelty framings for t(3..5)=1 and t(6)=t(7)=2 are likewise superseded, since Theorems 3 + 6(II) of EHT91 pin those values.