石神の名前が出てこなかったら、ガリレオは出てこなかった。