REDUCTION MAIN
REDUCTION MAIN PERFECT