Stav dette: Modal Logic: