Haller's Concordance: REPROOFS-RESTRAINING