A relational visualization of Bayes' theorem