OTHER STUFF

This is stuff that did not seem to fit in the other categories.