Expressions can have equations substituted into them.