Appendix G - Formal Evaluation