Yeah those were the axioms, but what about total probability??