Haller's Concordance: EREXISSET