Grr. Discovered an unfortunate global consequence of the way I formulated β-reduction, and I don't know how to fix it. Feeling physically shitty this morning, too. Must... channel... disgruntled state... into... productivity...