Stav dette: Elementary logic