Email Record: A first look at rigorous probability theory /