Haller's Concordance: REPROOF