X-Nico

unusual facts about Conjunctive normal form