 The converse is not true.In example 1 for instance, there is an infinite rewriting chain, namely formula_41, even though the system is normalizing.A confluent and terminating ARS is called canonical, or convergent.