Mitchell_Porter comments on Daniel Kokotajlo’s Shortform