(n.) A tool to polish the edge of a sole.