Haller's Concordance: REDUCITE