Equal lengths and midpoints

Read tick marks as a promise that lengths are equal, even if the drawing is not perfectly to scale. Use midpoint marks to reason that one segment has been split into two equal parts.