subsubsection
Progressive heuristics thing
Updated paper structure
Merge branch 'Imara_tweekforclearity' fixes #20