What is the definition of probability?