definitionsubstitutions step functions