> but electric vehicles are helping chip away at its dominance in the pursuit of energy efficiency. I suspect the authors did not intend that pun ("chip away",

> but electric vehicles are helping chip away at its dominance in the pursuit of energy efficiency. I suspect the authors did not intend that pun ("chip away", get it ;-) ) Is there a name for such unintentional puns?