Type up formulation of posterior for observations