β-redex comments on Exercise is Good, Actually