Fixed sub-proposition alignment.
Completed proof of annihilation/creation operator proposition.
Until after Lawrence of Arabia.

We might want to trim the film discussion down a
bit again later.
Completed draft up to coefficient decay lemma.