Joshua Levine comments on Daniel Kokotajlo’s Shortform