Գրեք սա: Abstract satisfaction