Substitution and Interpretation of Solutions