[Kednicma]

Glad to hear it. One nitpick: The contraposition of some claim P -> Q is not ~P -> ~Q, but ~Q -> ~P. I hope that you study some logic and biology in your newfound spare time. Best of luck.