Certificate for #13242 ⟨a, b | baa=abb, bbb=ba⟩

Back:⟨a, b | baa=abb, bbb=ba⟩

Completion settings:

[1] baa=abb

Axiom: baa=abb.

Referenced by [3].

[2] ba=bbb

Axiom: bbb=ba.

Flip LHS and RHS.

Defines rule #3.

Referenced by [3], [4].

[3] abb=bbbbb

Overlap of [1] baa=abb with [2] ba=bbb:

baa ba

Critical pair: bbba=abb.

Reduce LHS:

[2]bb(ba)
⇒ bbbbb

Flip LHS and RHS.

Defines rule #2.

Referenced by [4].

[4] bbbbbb=bbbbb

Overlap of [2] ba=bbb with [3] abb=bbbbb:

b a abb

Critical pair: bbbbbb=bbbbb.

Defines rule #1.