Probability Updating: Frog Example