"Concept 1 of ireresolubilis" . .