Certificate for #2234 ⟨a, b, c | abab=1, abac=1⟩

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

Completion settings:

[1] abab=1

Axiom: abab=1.

Defines rule #2.

Referenced by [3].

[2] abac=1

Axiom: abac=1.

Referenced by [3].

[3] ac=ab

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

ab ab abac

Critical pair: ab=ac.

Flip LHS and RHS.

Defines rule #1.