Appendix: probability and measure