posterior example solution update