Lanthimum comments on Richard Ngo’s Shortform

[Lanthimum]

This should be a top level post.