"Concept 1 of distinguibilis" . .