Ben Pace comments on β-redex’s Shortform

[Ben Pace]

I’d be interested in discussing examples, I expect I will disagree.