CC（コモンクライテリア）評価において、EAL4が一般的に商用製品（OS等）の最高レベルとされる理由はどれか。

EAL4は「体系的に設計され、テストされ、レビューされた」レベルであり、形式的検証（EAL5以上）のような特殊なコストをかけずに達成できる実用的な最高ラインとされる。