Certificate for #6677 ⟨a, b, c | aa=1, abcab=c⟩

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

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

Referenced by [3].

[2] abcab=c

Axiom: abcab=c.

Referenced by [3], [4].

[3] bcab=ac

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

a a abcab

Critical pair: ac=bcab.

Flip LHS and RHS.

Defines rule #2.

[4] ccab=abcc

Overlap of [2] abcab=c with [2] abcab=c:

abc ab abcab

Critical pair: abcc=ccab.

Flip LHS and RHS.

Defines rule #3.