September 28 notes

I am committing these notes one day early since I already had them
prepared.

This commit is going to be one of the last for this particular project
and new work will happen in https://github.com/adamgreen/Ferdinand15
instead.