Definition of "Leucippus"