Computing beliefs after a public announcement means recomputing in the submodel consisting of all st...