Aren't those used to sharpen woodworking tools? Slipstones?