final proof in ExprDFacts.
working out some more admits.
Merge branch 'master' of github.com:gmalecha/mirror-core