substitutive definition