Hasil: verified model