https://123dok.net/document/zkw6dro8-self-commuting-lattice-polynomial-functions-on-chains.html