Random notes

Thoughts that do not fit the other categories.