back substitutions