Text this: Πλάτωνος Ευθύδημος (ή εριστικός ανατρεπτικός)