Test implied orderings