Markov-de Finetti Formalization