"Within exists" implies it's done by exists. It's not. Perhaps a better term would be "within an exists context", although there's currently no such thing.
In reply to Re^3: Why does exists cause autovivication?
by ikegami
in thread Why does exists cause autovivication?
by Argel
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |