intersubstitution

not defined yet