In this section, we show how to derive the posterior process and discuss further properties of GPs as well as noisy GPs.
