Fix dichotomy and missing tail in reduce