Peano Axioms!

And some more work on Markov chains