β-redex comments on Daniel Tan’s Shortform