β-redex comments on shortplav