判例を探すならより大きな集合に存在しないことを示すのもOKで、パスを許容するために拡張モデルを使った、です