β-redex comments on robertzk’s Shortform