The subclasses can specify both the coefficient of the variable or constant that is supposed to be replaced and the actual replacement.
The term order that is used for the resulting terms or formulas.
Substitution that is to be used underneath
Re-sort an object with a new
Application to terms is not supported, because it would not be possible to do pseudo-division
Compare the order of this
Substitution with a given order.
Some kinds of substitutions can only be applied when pseudo-reduction is allowed to be performed.