Stav dette: Mining and a Sea of Difficulties