Derived the cost function of the PLL problem and made the link to
Gaussian message passing.