Text this: Heidegger's topology :