A probability-theory toolbox