Miscellaneous corner

This is the miscellaneous corner of nikoli.com