definitionsubstitutions step functions example