7.1 契约分析