A second kind of probability comes into play when we keep records of the relevant events. If we toss a large number of coins and keep records of how often they come up heads, we can define the proportion of heads in that sequence of tosses to be a probability. These are called frequency probabilities. Batting averages and other sports statistics are frequency probabilities. They give the proportion of the times that a batter got on base after he was at bat.