@dobartim: Abstract formulation