* simplification and substitution.