Some general-purpose tools. Feel free to use them as you fit.

Index: