Polylemma
...