Implemented alpha reduction.