verificação formal 🤌🤌🤌