Daniel Kokotajlo comments on Richard Ngo’s Shortform