簡而言之:"我們需要擺脫樂觀證明系統"