"Concept 1 of circumscriptibiliter" . .