more documentation - partial ordering of applied and demanded options