mattock: a kind of pick that is used for digging; has a flat blade set at right angles to the handle
pick: a heavy iron tool with a wooden handle and a curved head that is pointed on both ends
whispering gallery: a space beneath a dome or arch in which sounds produced at certain points are clearly audible at certain distant points