Richard Ngo’s Shortform