SMS: Abstract Satisfaction