Added examples of substitution and simplify