端的な見解ですが、some Pが改良かつ充実されて結局any P(換言するとexistential)の出番がほとんど出なくなりそうな印象ですがあってますかね？