Certificate for #1605 ⟨a, b | aaa=bb, abb=b⟩

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

Completion settings:

[1] bb=aaa

Axiom: aaa=bb.

Flip LHS and RHS.

Referenced by [2], [3].

[2] b=aaaa

Axiom: abb=b.

Reduce LHS:

[1]a(bb)
⇒ aaaa

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[3] aaaaaaaa=aaa

Overlap of [1] bb=aaa with [2] b=aaaa:

bb b

Critical pair: aaaab=aaa.

Reduce LHS:

[2]aaaa(b)
⇒ aaaaaaaa

Defines rule #1.