Correct substitution