Notes

Shorter notes, written outside work.