Stav dette: Applied logic: