X-Nico

unusual facts about First-order predicate calculus