Homer, Parmenides, and the Road to Demonstration