Key Sequence Notation New Concepts probabilistic programming conjugate prior Orienteering example: aircraft collision avoidance evaulating model fitness Quantile-Quantile plot Calibration Plot Turing Test System Specification Metric composite metrics weighted sum method goal distance Important Results / Claims Marginalization Ignores Covariances Questions Interesting Factoids