Truth and preconditions approached via an analysis of Heidegger