Ajeya Cotra comments on Richard Ngo’s Shortform