Ian_C. comments on Where Recursive Justification Hits Bottom