Stav dette: Abstract Satisfaction