assertions added for markov