Textmeddelande: Abstract conflict driven learning.