a hydraulic jack is a type of tool.