monosubstitution

not defined yet