Gunnar_Zarncke comments on β-redex’s Shortform