User blog comment:ArtismScrub/Hyper-Alpha Notation Part II: Arrows to Alphas (STILL WIP)/@comment-24920136-20180305234746/@comment-30118230-20180306173330

I disagree. Quantifiers with free variables are easier to understand and get a more generalized message across.