Tidied MCMC maths