Certificate for #6758 ⟨a, b, c | aa=1, bbcbb=b⟩

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

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

[2] bbcbb=b

Axiom: bbcbb=b.

Referenced by [3], [4].

[3] bcbb=bbcb

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

bbc bb bbcbb

Critical pair: bbcb=bcbb.

Flip LHS and RHS.

Defines rule #2.

Referenced by [4].

[4] bbbcb=b

Overlap of [2] bbcbb=b with [3] bcbb=bbcb:

b bcbb bcbb

Critical pair: bbbcb=b.

Defines rule #3.