. . . "praedemonstrabilis" . .