David_J._Balan comments on Where Recursive Justification Hits Bottom