It's mathematics people........

Math is the only pure and exact science. You're on the right track, or at least you're on a track that is right. And it might not be intuitive, but the negation of an implication is a contrapositive and that's the importanc of declaring the universe, because it dictates all the true statements. At least I'd like to think that it does.
I think i've made my point..........