Add code to check ordering.