Some formulae
Formalization getting there.
Merge branch 'tasksplitting_laura' of https://github.com/stulp/dmp_bbo into tasksplitting_laura