Joseph Miller comments on β-redex’s Shortform