Miscellaneous

The odds and ends