Knife sharpening is the process of making a knife or similar tool sharp by grinding against a hard, rough surface, typically a stone, or a flexible surface with hard particles, such as sandpaper. Additionally, a leather razor strop, or strop, is often used to straighten and polish an edge. The smaller the angle between the blade and stone, the sharper the knife will be, but the less side force is needed to bend the edge over or chip it off. The angle between the blade and the stone is the edge angle – the angle from the vertical to one of the knife edges, and equals the angle at which the blade is held. The total angle from one side to the other is called the included angle – on a symmetric double-ground edge (a wedge shape), the angle from one edge to the other is thus twice the edge angle. Typical edge angles are about 20° (making the included angle 40° on a double-ground edge). The edge angle for very sharp knives can be as little as 10 degrees (for a 20° included angle). Knives that require a tough edge (such as those that chop) may sharpen at 25° or more.