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 Roof.