More theory about Naive Bayes