Tomás B. comments on Daniel Kokotajlo’s Shortform