Substitution in products dropping products whose argument is being
replaced.