Random

Miscellaneous notes that do not fit a specific section yet.