Kalle_Mikkola comments on Where Recursive Justification Hits Bottom