Certificate for #3497 ⟨a, b, c | bb=aa, ccc=a⟩

Back:⟨a, b, c | bb=aa, ccc=a⟩

Completion settings:

[1] aa=bb

Axiom: bb=aa.

Flip LHS and RHS.

Referenced by [3].

[2] a=ccc

Axiom: ccc=a.

Flip LHS and RHS.

Defines rule #3.

Referenced by [3].

[3] cccccc=bb

Overlap of [1] aa=bb with [2] a=ccc:

aa a

Critical pair: ccca=bb.

Reduce LHS:

[2]ccc(a)
⇒ cccccc

Defines rule #2.

Referenced by [4].

[4] cbb=bbc

Overlap of [3] cccccc=bb with [3] cccccc=bb:

c ccccc cccccc

Critical pair: cbb=bbc.

Defines rule #1.