Haller's Concordance: EXISTENS