 In Sort logic, well-formed formulas involving \(\widetilde{\exists }\) must respect a New Sort Condition (Väänänen 2014: 175) to guarantee that the domains where free variables in \(\varphi\) are interpreted do not interfere with the scope of the quantifier \(\widetilde{\exists}\). The only novelty concerns interpretation of formulas with the new quantifier,