Daniel Kokotajlo comments on Vladimir_Nesov’s Shortform