"Concept 1 of mathematicalis" . .