Wes2 comments on Where Recursive Justification Hits Bottom