Given a world and possible sentence, let be the opinionated probability function with belief world, revise according to our given method of revising probability functions, and let A be the belief world of the resulting opinionated probability function A.