Stav dette: Logic and arithmetic :