a pulley is a type of tool.