Using the Gaussian prior for the parameters of interest,
Neglecting all but the interesting parameters (for now) gives a
posterior of the form
When then the part of the posterior that depends on
can be written as
The full posterior is then
This form is extremely difficult (probably impossible) to integrate analytically with respect to and . Hence it is left in this semi-marginalised form.