Certificate for #2033 ⟨a, b, c | aaaa=1, abac=1⟩

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

Completion settings:

[1] aaaa=1

Axiom: aaaa=1.

Defines rule #2.

Referenced by [3].

[2] abac=1

Axiom: abac=1.

Referenced by [3].

[3] bac=aaa

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

aaa a abac

Critical pair: aaa=bac.

Flip LHS and RHS.

Defines rule #1.