Dichotomy reduction ×
1 result