Academic life has given me a lesson for the second time, and it was harsh this time.

The first lesson had a happy ending, and it can be described by the following words:

Beware of the paper bin!

This happened on 2008. I was experimenting with a really wonderful software, the bundle Prover9-Mace4, by the late Bill McCune. My aim was to obtain a family of examples of equational classes where some formula grows unboundedly in complexity (this formula was related to direct product representations). Continue reading