Substitution: Reasoning and Problem Solving