4.3 契约描述