Richard T. Cox showed that[7] Bayesian updating follows from several axioms, including two functional equations and a hypothesis of differentiability. The assumption of differentiability or even continuity is controversial; Halpern found a counterexample based on his observation that the Boolean algebra of statements may be finite.[17] Other axiomatizations have been suggested by various authors with the purpose of making the theory more rigorous.[8]