TOOL DEFINITIONS