disubstitution

not defined yet