(三)声明和验证方法约束