what are the pliers for?