The presocratics after Heidegger