Certificate for #19630 ⟨a, b | aab=b, bbbbb=ba⟩

Back:⟨a, b | aab=b, bbbbb=ba⟩

Completion settings:

[1] aab=b

Axiom: aab=b.

Defines rule #3.

Referenced by [3].

[2] ba=bbbbb

Axiom: bbbbb=ba.

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[3] bbbbbbbbbb=bb

Overlap of [2] ba=bbbbb with [1] aab=b:

b a aab

Critical pair: bb=bbbbbab.

Reduce RHS:

[2]bbbb(ba)b
⇒ bbbbbbbbbb

Flip LHS and RHS.

Defines rule #1.