X-Nico

unusual facts about abstract model theory