simplify substitution