Misc.

Miscellaneous work of Tiny Tropics.