fixed a bug on implication sub.