Notes

Miscellaneous notes.