David Hornbein comments on Daniel Kokotajlo’s Shortform