Added some of Example 2 posterior calculation.