A Computer Laboratory for Mathematical Probability and Statistics.