Verifying Itu Kamu Are Not A Otomaton...