Certificate for #5155 ⟨a, b, c | aa=a, bcbc=b⟩

Completion settings:

• Reduction order:
  • Left-to-right shortlex with a < b < c

Axiom: aa=a.

Defines rule #1.

Axiom: bcbc=b.

Referenced by [3], [4].

Overlap of [2] bcbc=b with [2] bcbc=b:

Critical pair: bcb=bbc.

Defines rule #2.

Referenced by [4].

Overlap of [2] bcbc=b with [3] bcb=bbc:

Critical pair: bbcc=b.

Defines rule #3.