Certificate for #6668 ⟨a, b, c | aa=1, abbca=c⟩

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

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

Referenced by [3], [4].

[2] abbca=c

Axiom: abbca=c.

Referenced by [3].

[3] abbc=ca

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

abbc a aa

Critical pair: abbc=ca.

Referenced by [4].

[4] bbc=aca

Overlap of [1] aa=1 with [3] abbc=ca:

a a abbc

Critical pair: aca=bbc.

Flip LHS and RHS.

Defines rule #2.