in和exists的选择