Symbol: ZEXISTS