Certificate for #50 ⟨a, b, c | bb=ac, ca=1⟩

Back:⟨a, b, c | bb=ac, ca=1⟩

Completion settings:

[1] bb=ac

Axiom: bb=ac.

Defines rule #1.

Referenced by [3].

[2] ca=1

Axiom: ca=1.

Defines rule #2.

Referenced by [4].

[3] bac=acb

Overlap of [1] bb=ac with [1] bb=ac:

b b bb

Critical pair: bac=acb.

Defines rule #3.

Referenced by [4].

[4] acba=ba

Overlap of [3] bac=acb with [2] ca=1:

ba c ca

Critical pair: ba=acba.

Flip LHS and RHS.

Defines rule #4.