Certificate for #19837 ⟨a, b | aaa=a, babb=abb⟩

Back:⟨a, b | aaa=a, babb=abb⟩

Completion settings:

[1] aaa=a

Axiom: aaa=a.

Defines rule #1.

[2] babb=abb

Axiom: babb=abb.

Defines rule #2.

Referenced by [3].

[3] baabb=aabb

Overlap of [2] babb=abb with [2] babb=abb:

bab b babb

Critical pair: bababb=abbabb.

Reduce LHS:

[2]ba(babb)
⇒ baabb

Reduce RHS:

[2]ab(babb)
[2]⇒ a(babb)
⇒ aabb

Defines rule #3.