Expressions

substitutions with one variable