\

tactical substitution rule