Haller's Concordance: PROPERAT