Haller's Concordance: REASONER