Text this: Ευθύδημος εριστικός, ανατρεπτικός ;