Certificate for #19289 ⟨a, b | aaa=a, baabb=ba⟩

Back:⟨a, b | aaa=a, baabb=ba⟩

Completion settings:

[1] aaa=a

Axiom: aaa=a.

Defines rule #1.

Referenced by [3].

[2] baabb=ba

Axiom: baabb=ba.

Defines rule #3.

Referenced by [3].

[3] babb=baa

Overlap of [2] baabb=ba with [2] baabb=ba:

baab b baabb

Critical pair: baabba=baaabb.

Reduce LHS:

[2](baabb)a
⇒ baa

Reduce RHS:

[1]b(aaa)bb
⇒ babb

Flip LHS and RHS.

Defines rule #2.