Certificate for #1271 ⟨a, b, c | aa=1, bcbc=b⟩

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

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

[2] bcbc=b

Axiom: bcbc=b.

Referenced by [3], [4].

[3] bcb=bbc

Overlap of [2] bcbc=b with [2] bcbc=b:

bc bc bcbc

Critical pair: bcb=bbc.

Defines rule #2.

Referenced by [4].

[4] bbcc=b

Overlap of [2] bcbc=b with [3] bcb=bbc:

bcbc bcb

Critical pair: bbcc=b.

Defines rule #3.