This commit mostly contains commits pertaining to the lyx
presentation.
Reverting a commit to give it a better name.
This reverts commit c682c3a95e17794aa9c41cadbd6866c64cd120fc.
This commit does not contain much human-readable content, as it
consists mostly of the output of Lyx for the mid-sem presentation.

This reverts commit 1ea2668d184ad7f1bcf33629a371e7c23723e508.