reduction to order

See: method
Mentioned in ?