Allows you to write code that looks like a Monte-Carlo simulation but actually computes exact probabilities.
See my blog post for more details.