According to Bayes' law, the posterior distribution π(x) = p(x|Y ∈ U * ) is proportional to the joint distribution p(x, Y ∈ U * ), which consists of the product of the likelihood p(Y ∈ U * |x) and prior distribution p(x). The forward model forms the joint probability distribution, which is modeled by the Gibbs distribution