Alex Mallen comments on Daniel Kokotajlo’s Shortform