Describir: Discrete-Time Markov Chains