Daniel Kokotajlo comments on koanchuk’s Shortform