言語仕様書では「誤り検知のため」になってるな