Will_Sawin comments on Where Recursive Justification Hits Bottom