Certificate for #6653 ⟨a, b, c | aa=1, abacb=c⟩

Back:⟨a, b, c | aa=1, abacb=c⟩

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

Referenced by [3].

[2] abacb=c

Axiom: abacb=c.

Referenced by [3].

[3] bacb=ac

Overlap of [1] aa=1 with [2] abacb=c:

a a abacb

Critical pair: ac=bacb.

Flip LHS and RHS.

Defines rule #2.

Referenced by [4].

[4] bacac=acacb

Overlap of [3] bacb=ac with [3] bacb=ac:

bac b bacb

Critical pair: bacac=acacb.

Defines rule #3.