Markov chain demo syntax