Certificate for #1879 ⟨a, b, c | aba=bc, cbb=1⟩

Back:⟨a, b, c | aba=bc, cbb=1⟩

Completion settings:

[1] aba=bc

Axiom: aba=bc.

Defines rule #1.

Referenced by [3].

[2] cbb=1

Axiom: cbb=1.

Defines rule #2.

Referenced by [4].

[3] bcba=abbc

Overlap of [1] aba=bc with [1] aba=bc:

ab a aba

Critical pair: abbc=bcba.

Flip LHS and RHS.

Defines rule #3.

Referenced by [4].

[4] cbabbc=cba

Overlap of [2] cbb=1 with [3] bcba=abbc:

cb b bcba

Critical pair: cbabbc=cba.

Defines rule #4.