I suck at remembering beta reductions.