The employee was pulling on a stuck trip rope cable on a shovel bucket. As the cable came loose it sucked his left hand down and pinched his left hand ring finger between the cable and the cable pulley. He sustained a laceration on the tip of the finger which required twelve stitches to close.