The project of understanding Dasein was so complicated that Heidegger never got back to the question of Being in Being and Time. David Hilbert German mathematician, in 1928 he published the first systematic presentation of first-order predicate logic. Friedrich Jacobi German philosopher and follower of Spinoza, he argued that what can not be proved can still be known through feelings. This has given him the reputation of being a precursor of existentialism. It is not we who presuppose truth, but truth which makes it at all possible for us to be such that we presuppose anything at all.
Truth is what first makes possible presupposing.
We are 'in' truth. And I declare Professor Schmid himself to be nonexistent as a philosopher so far as I am concerned. Home is where the house is. For centuries, people thought the moon was made of green cheese. Then the astronauts found that the moon is really a big hard rock.