Stav dette: Challenges of verification :