Definition:

tool