"Concept 1 of praedemonstrabilis" . .