extensible reduction.