Randomized: a ton of definitions on MCs,

and minor additions to topology.