substitutive

not defined yet