there is different types of contexts where they use opposite implication