Paper: write out last part of section 6.2
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1