Certificate for #3474 ⟨a, b, c | ba=ac, cbb=a⟩

Back:⟨a, b, c | ba=ac, cbb=a⟩

Completion settings:

[1] ac=ba

Axiom: ba=ac.

Flip LHS and RHS.

Defines rule #1.

Referenced by [3].

[2] cbb=a

Axiom: cbb=a.

Defines rule #2.

Referenced by [3], [4].

[3] babb=aa

Overlap of [1] ac=ba with [2] cbb=a:

a c cbb

Critical pair: aa=babb.

Flip LHS and RHS.

Defines rule #3.

Referenced by [4].

[4] aabb=cbaa

Overlap of [2] cbb=a with [3] babb=aa:

cb b babb

Critical pair: cbaa=aabb.

Flip LHS and RHS.

Defines rule #4.