Partial ordering is now handled transparently