Miscellaneous

Bits and pieces of work.