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

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

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

[2] bbcbb=c

Axiom: bbcbb=c.

Defines rule #3.

Referenced by [3], [4].

[3] ccbb=bbcc

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

bbc bb bbcbb

Critical pair: bbcc=ccbb.

Flip LHS and RHS.

Defines rule #2.

[4] cbcbb=bbcbc

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

bbcb b bbcbb

Critical pair: bbcbc=cbcbb.

Flip LHS and RHS.

Defines rule #4.