https://123dok.net/document/zgwj1l3v-note-generic-quantification-ontology-twins-bikini.html