I'm not sure about this. What are the ordering semantics now?