-* formatting of multi-line \algin, \algout
-- unify names of complexity classes
-- automatic \raggedbottom?
-- round to even number of pages at the end
-
-Global:
-
-- each chapter should make clear in which model we work
-- clean up bibliography
-- intro: \log is binary