Describir: Fair Infinite Lotteries, Qualitative Probability, and Regularity.