Austin Chen comments on Daniel Kokotajlo’s Shortform