Initial commit + Markov Chain and specs.