Certificate for #6890 ⟨a, b, c | ab=1, abcbc=b⟩

Back:⟨a, b, c | ab=1, abcbc=b⟩

Completion settings:

[1] ab=1

Axiom: ab=1.

Defines rule #1.

Referenced by [2].

[2] cbc=b

Axiom: abcbc=b.

Reduce LHS:

[1](ab)cbc
⇒ cbc

Defines rule #3.

Referenced by [3].

[3] cbb=bbc

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

cb c cbc

Critical pair: cbb=bbc.

Defines rule #2.