encapsulated experimental math for Bayesian CAT