形式驗證 🤌🤌🤌