Note 411 — Chapter III · HERAKLEITOS OF EPHESOS
Reading edition
This is just the argument which Plato uses in the Phaedo (72 c) to prove the necessity of ἀνταπόδοσις, and the whole series of arguments in that passage is distinctly Herakleitean in character.