Glossary “shrink” Definition:
To reduce an area of a piece of metal by heating and hammering it and cooling.