Anfonwch hwn fel neges destun: Logics without existence assumptions.