Title: Theorems on existence and essence
Subjects: Ontology