prosubstitution

not defined yet