In Diogenes Laërtius, <i>Lives of Eminent Philosophers</i>, Book 6, sec. 4 [tr. Mensch (2018)]