Stav dette: Elementary logic/