Certificate for #2268 ⟨a, b, c | abac=1, bcca=1⟩

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

Completion settings:

[1] abac=1

Axiom: abac=1.

Defines rule #2.

Referenced by [3].

[2] bcca=1

Axiom: bcca=1.

Referenced by [3], [4].

[3] bcc=bac

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

bcc a abac

Critical pair: bcc=bac.

Defines rule #1.

Referenced by [4].

[4] baca=1

Overlap of [2] bcca=1 with [3] bcc=bac:

bcca bcc

Critical pair: baca=1.

Defines rule #3.