Add the simplification in RIGHT