Certificate for #19249 ⟨a, b | aaa=a, aabaa=bb⟩

Back:⟨a, b | aaa=a, aabaa=bb⟩

Completion settings:

[1] aaa=a

Axiom: aaa=a.

Defines rule #1.

Referenced by [4].

[2] bb=aabaa

Axiom: aabaa=bb.

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[3] aabaab=baabaa

Overlap of [2] bb=aabaa with [2] bb=aabaa:

b b bb

Critical pair: baabaa=aabaab.

Flip LHS and RHS.

Defines rule #4.

Referenced by [4].

[4] abaabaa=abaab

Overlap of [1] aaa=a with [3] aabaab=baabaa:

a aa aabaab

Critical pair: abaabaa=abaab.

Defines rule #3.