Stav dette: Proofs and refutations/