probability theory in nLab