Certificate for #6680 ⟨a, b | aab=b, abaa=ba⟩

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

Completion settings:

[1] aab=b

Axiom: aab=b.

Defines rule #1.

Referenced by [3], [4].

[2] abaa=ba

Axiom: abaa=ba.

Referenced by [3], [4].

[3] baa=aba

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

a ab abaa

Critical pair: aba=baa.

Flip LHS and RHS.

Defines rule #2.

[4] bab=abb

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

ab aa aab

Critical pair: abb=bab.

Flip LHS and RHS.

Defines rule #3.