punching (surface marking technique) (300235631) 'produces' punched engravings (300411442);