Ben Pace, the Vacationing Vagabond comments on β-redex’s Shortform