OFFLINE

Combinatorial elements can not linearized. this causes NP completeness.
However, maybe I can combine combinatorials ino supersets, which are still exponential in size, but which can be linearizes