a wrench is a kind of tool used by humans