Stephen Martin comments on Daniel Kokotajlo’s Shortform