Kaj_Sotala comments on Richard Ngo’s Shortform