exist的语法