Zack_M_Davis comments on β-redex’s Shortform