Certificate for #3609 ⟨a, b, c | aaa=1, abaac=1⟩

Back:⟨a, b, c | aaa=1, abaac=1⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #1.

Referenced by [3].

[2] abaac=1

Axiom: abaac=1.

Referenced by [3].

[3] baac=aa

Overlap of [1] aaa=1 with [2] abaac=1:

aa a abaac

Critical pair: aa=baac.

Flip LHS and RHS.

Defines rule #2.