Model verifications