Section 11.1 doesn't mention the "punching-hole-diameter-configured" and
"stitching-angle" attributes, and related language, to clarify that punched
holes are round and of a particular size, and to define that staples' axis
of rotation is around their midpoint and have a particular rotation, to
more specifically define the coordinates of the space occupied by the
punched holes and staples.