MarkovChain is implemented correctly.