Are models verified?