Some miscellaneous results of work of bureau, 8.

Tools