Abstract Satisfaction