change meanings of hexists,zexists