Stav dette: The elements of logic/