Certificate for #2237 ⟨a, b, c | abab=1, abcb=1⟩

Back:⟨a, b, c | abab=1, abcb=1⟩

Completion settings:

[1] abab=1

Axiom: abab=1.

Defines rule #2.

Referenced by [3].

[2] abcb=1

Axiom: abcb=1.

Referenced by [3].

[3] cb=ab

Overlap of [1] abab=1 with [2] abcb=1:

ab ab abcb

Critical pair: ab=cb.

Flip LHS and RHS.

Defines rule #1.