← Appendix 3 Partial Proof Testing Example