>That's not required. All that is necessary is for C<exists> nodes >in the op tree to propagate a special non-autovivifying context to >subordinate nodes. That seems reasonable--except that I don't believe exists() merits any special treatment. --tom