Add thunks for MCMC and finish the definition of conditional. Also some space to tab conversion