punch press: a power driven press used to shape metal parts
press: any machine that exerts pressure to form or shape or cut materials or extract liquids or compress solids
hairsplitting: making too fine distinctions of little importance