nonsubstitution

not defined yet