Daniel Kokotajlo comments on anaguma’s Shortform