"Concept 1 of condefinitor" . .