Daniel Kokotajlo comments on evhub’s Shortform