add extra implication to make unification easier in inc (just like in the other monad)