ロジックとハード特性の不整合というより、ロジックと言語仕様の不整合、かな。