monoids: starting again
monoids: reworking
monoids: reworking
resolved conflicts