なんでallとexistsじゃないのか