Verifed models