Taylor G. Lunt comments on Daniel Kokotajlo’s Shortform