從“可能正確”到“可證明正確”。驗證一切。