 Local confluence on the other hand is not equivalent with the other notions of confluence given in this section, but it is strictly weaker than confluence.The typical counterexample is formula_39, which is locally confluent but not confluent (cf.picture).