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