Finished appendix on probabilistic model