add note about eset propagation, it's exponential.
DRY
Merge branch 'master' into nominal-rel-reif