待ってください—人間は本当に検証可能で堕落しないことができるのでしょうか？他のどのソフトウェアもそれを主張できるのでしょうか？それなら、なぜ突然これが何かの有用性の基準になったのでしょうか？もし私たちがすべてを「完全に検証可能」であることに基づいて評価するなら、私たちが日常的に頼っているほとんどのツールを拒否することになるでしょう。おそらく本当の問題はそれが完璧かどうかではなく、代替手段よりも問題を解決するかどうかです。文脈は絶対的な純度よりも重要です。