Daniel Kokotajlo comments on supposedlyfun’s Shortform