Merge pull request #74 from eggrobin/lecture-2013-04-16

Lecture 2013 04 16
Merge pull request #75 from eggrobin/lecture-2013-04-16

Lecture 2013 04 16
Merge pull request #76 from eggrobin/lecture-2013-04-16

Fixed tppo; avoid tall expressions in inline math.
Merge pull request #77 from eggrobin/lecture-2013-04-16

This was a math 0.
It's not a jump cut.
Merge pull request #78 from eggrobin/jump-cuts-and-match-cuts

It's not a jump cut.
Merge pull request #79 from eggrobin/master

Catch up.