markov chains with Ava