Appendix A: Formal Communications