Puzzles solved by Martin Heidegger