Title: Tools and how to use them : an illustrated encyclopedia