形式驗證仍然是正確的方式。