Formell verifisering 🤌🤌🤌