Stav dette: Abstract inference