Certificate for #10651 ⟨a, b | aaaa=abb, bbbb=1⟩

Back:⟨a, b | aaaa=abb, bbbb=1⟩

Completion settings:

[1] abb=aaaa

Axiom: aaaa=abb.

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[2] bbbb=1

Axiom: bbbb=1.

Defines rule #3.

Referenced by [3].

[3] aaaaaaa=a

Overlap of [1] abb=aaaa with [2] bbbb=1:

a bb bbbb

Critical pair: a=aaaabb.

Reduce RHS:

[1]aaa(abb)
⇒ aaaaaaa

Flip LHS and RHS.

Defines rule #1.