Logic and ontology in Heidegger