An Axiomatic Characterization of Bayesian Updating | Synapse