Update CrossedBayesian