One doc tagged with "strict weak ordering"