Added a section A4. Proved a theroem about policySet2.6.