Wei Dai comments on Daniel Kokotajlo’s Shortform