 We would like to acknowledge the help of the editors of the Encyclopedia, Jose Hernandez-Orallo, and two anonymous referees. The advice that we we have received has led to numerous improvements. We look forward to receiving further suggestions for improvements from those who’ve read what we have written.