. Appendix C: Features of the contract system