Beta reductions appear functional. TODO: Alpha renaming.