设计还是验证？