rewriting /= substitution