3.2 Proto-frequentist probability