Գրեք սա: Abstract Satisfaction