Certificate for #15661 ⟨a, b | aab=ab, bbaba=a⟩

Back:⟨a, b | aab=ab, bbaba=a⟩

Completion settings:

[1] aab=ab

Axiom: aab=ab.

Defines rule #2.

Referenced by [3].

[2] bbaba=a

Axiom: bbaba=a.

Defines rule #3.

Referenced by [3].

[3] aaa=aa

Overlap of [1] aab=ab with [2] bbaba=a:

aa b bbaba

Critical pair: aaa=abbaba.

Reduce RHS:

[2]a(bbaba)
⇒ aa

Defines rule #1.