or gritstone, a kind of stone which is used for building and for millstones and grindstones; and sometimes for filtering water.