fixed a problem in dotsdDeduce