β-redex comments on Daniel Kokotajlo’s Shortform