Certificate for #4484 ⟨a, b, c | abc=1, aaab=a⟩

Back:⟨a, b, c | abc=1, aaab=a⟩

Completion settings:

[1] abc=1

Axiom: abc=1.

Defines rule #2.

Referenced by [3].

[2] aaab=a

Axiom: aaab=a.

Defines rule #3.

Referenced by [3].

[3] ac=aa

Overlap of [2] aaab=a with [1] abc=1:

aa ab abc

Critical pair: aa=ac.

Flip LHS and RHS.

Defines rule #1.