More stuff on Markov processes in general, started proving that Polish spaces are Borel, started proving Stone-Daniell Theorem that I want to use to prove Prohorov (this uses a bunch of prelimininary detail on \sigma-rings).