must *have* an ordering