Added second aspect of non-domination as opposed to non-interference.