3. 声明和验证方法约束