Infinitely many maximal primitive positive clones in a diagonalizable algebra

We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic $GL$.