Certificate for #10303 ⟨a, b | aa=1, abbbb=bbb⟩

Back:⟨a, b | aa=1, abbbb=bbb⟩

Completion settings:

[1] aa=1

Axiom: aa=1.

Defines rule #1.

Referenced by [3], [4].

[2] abbbb=bbb

Axiom: abbbb=bbb.

Referenced by [3].

[3] abbb=bbbb

Overlap of [1] aa=1 with [2] abbbb=bbb:

a a abbbb

Critical pair: abbb=bbbb.

Defines rule #2.

Referenced by [4].

[4] bbbbb=bbb

Overlap of [1] aa=1 with [3] abbb=bbbb:

a a abbb

Critical pair: abbbb=bbb.

Reduce LHS:

[3](abbb)b
⇒ bbbbb

Defines rule #3.