partial ordering problems