Richard_Ngo comments on Richard Ngo’s Shortform

[Richard_Ngo]

Edited for clarity now.