Added probability theory lab.