Changes to the partial ordering section