The abstraction of probability theory.