Make some assertions about ordering