Certificate for #2272 ⟨a, b, c | abac=1, caba=1⟩

Back:⟨a, b, c | abac=1, caba=1⟩

Completion settings:

[1] abac=1

Axiom: abac=1.

Defines rule #2.

Referenced by [3].

[2] caba=1

Axiom: caba=1.

Referenced by [3], [4].

[3] cab=bac

Overlap of [2] caba=1 with [1] abac=1:

cab a abac

Critical pair: cab=bac.

Defines rule #1.

Referenced by [4].

[4] baca=1

Overlap of [2] caba=1 with [3] cab=bac:

caba cab

Critical pair: baca=1.

Defines rule #3.