Title: The distribution example does not follow the axioms in Section 4.3.3

Description: The following example exists in the specification in Section 4.3.3. However, the distribution rules do not indicate how you derive an empty policy expression with <wsp:ExactlyOne/>. 

{

Distributing wsp:All over an empty wsp:ExactlyOne is equivalent to no alternatives. For example,

(01) <wsp:All>
(02)   <wsp:ExactlyOne>
(03)     <!-- assertion 1 -->
(04)     <!-- assertion 2 -->
(05)   </wsp:ExactlyOne>
(06)   <wsp:ExactlyOne />
(07) </wsp:All>is equivalent to:

(01) <wsp:ExactlyOne />

}

The equivalence should be derivable by the rules listed in the specification. 

Justification: Confusing for the readers, the specification should be consistent with its own definition. 

Proposal: 

Illustrate the steps for the derivation of this expression or remove the example from the spec.