Leon Lang comments on Daniel Kokotajlo’s Shortform