[jhiesey]

I would guess it comes from calling the universal quantifier ”for all” in logic

[quickthrower2]

You have high hopes!