Definition:

substitutions