Certificate for #1869 ⟨a, b | aaaabbaa=bb⟩

Back:⟨a, b | aaaabbaa=bb⟩

Completion settings:

[1] aaaabbaa=bb

Axiom: aaaabbaa=bb.

Defines rule #2.

Referenced by [2], [3].

[2] aaaabbbb=bbaabbaa

Overlap of [1] aaaabbaa=bb with [1] aaaabbaa=bb:

aaaabb aa aaaabbaa

Critical pair: aaaabbbb=bbaabbaa.

Defines rule #1.

[3] aaaabbabb=bbaaabbaa

Overlap of [1] aaaabbaa=bb with [1] aaaabbaa=bb:

aaaabba a aaaabbaa

Critical pair: aaaabbabb=bbaaabbaa.

Defines rule #3.