Self-terminating Monte Carlo methods Exact sampling