Just as traditional Bayes methods derive their formal properties from the structure of probability spaces, Bayes linear methods derive their formal properties from the linear structure of inner product spaces. We now describe this underlying geometry.