β-redex comments on Alexander Gietelink Oldenziel’s Shortform