For Kant’s interpretation of Zeno in KrV A502-507/B530-535, scholars have usuallyreferred to Plato’s Phaedrus (261d); in reality the sources Kant uses are, on one hand, Brucker (who depends in turn on the pseudo-Aristotelian De Melisso, enophane, et Gorgia, 977 b 2-21), and, on the other, Plato’s Parmenides (135e6-136b1) and Proclus’ commentary on it, as quoted by Gassendi in a popular textbook he wrote on the history of logic.