Haller's Concordance: DECIDISSET