@jstac, currently the markov_chain_I lecture has a lot of examples subheadings and can be a bit confusing to read. It was suggested by @mmcky that we could try use the proof domain and utilise {prf:ref} (https://sphinx-proof.readthedocs.io/en/latest/syntax.html) to make them look neater.