disubstitution
not defined yet