While desiring min to be less than max feels entirely sensible,
unfortunately the standard does not actually have this requirement.