Abort if we're not using the same ordering.