Definition:Substitution Instance