endUsingTool

fun endUsingTool(): Tactic