Certificate for #3472 ⟨a, b, c | ba=ac, cab=a⟩

Back:⟨a, b, c | ba=ac, cab=a⟩

Completion settings:

[1] ba=ac

Axiom: ba=ac.

Defines rule #1.

Referenced by [3].

[2] cab=a

Axiom: cab=a.

Defines rule #2.

Referenced by [3], [4].

[3] caac=aa

Overlap of [2] cab=a with [1] ba=ac:

ca b ba

Critical pair: caac=aa.

Defines rule #4.

Referenced by [4].

[4] caaa=aaab

Overlap of [3] caac=aa with [2] cab=a:

caa c cab

Critical pair: caaa=aaab.

Defines rule #3.