Correct definition of reduce2R and reduce2L.
Simplify