 In turn, substitution formula_29 is the result of replacing the name formula_7 in a term formula_6 with another term formula_32 if formula_7 has exactly one occurrence in the term formula_6.Any interaction rule can be graphically represented as follows