Interesting fact: if you write a random number `k` of equations of
type `x * y = z` for elements of a magma from `n` items then the
chance that these conditions will hold in some semigroup is
plummeting for higher `k`. I don't know how to prove that yet, but I
have some experimental evidence about that.
