Source: /wikibot/existential-instantiation

= Existential instantiation
{wiki=Existential_instantiation}