Seol mar théacs é seo: Frege, Heidegger and Kant's two theses on existence