krause: covered section 2.7

Also committing changes to krause.tex.swp and krause.synctex, files will
be removed & ignored at next commit.
Cleanup