Missing include
Review reduction system
Add test for reductions
Fix test
Complete reduction system