Beta reduction#.CE.B2-reduction