Stav dette: Elementary formal logic/