なぜexistsをforallに変える必要があるんだ