>>418の論理の必要条件は、
「最初からXPを導入した事例がまだ存在しない。」
という命題が真であることである。
これには同意する？