Stav dette: Methods of logic/