β-redex comments on Noah Birnbaum’s Shortform