Appendix A: Changes to the theory and consistency proof from ``Knowledge
and Communication: A First-Order Theory.''
In Postscript.
in PDF.
Appendix B: Proof of correctness of sample plan.
in Postscript.
in PDF.