Zak Miller comments on Daniel Kokotajlo’s Shortform