How do we verify a model?