Propagate pair-reduction attempts
Simplify and improve pair-reduction