(n.) kind of sandstone.