STOOL, in mining, is used when the miners leave off digging deeper, and work in the ends forward. The end before them is called the stool.