bayes now handles contrapositive case