presubstitution

not defined yet