 This theorem tell us that to see what an agent believes conditional on G, all we need to do is look at the agent’s most plausible G-worlds. In this way, conditional belief has the agent “recenter” her system of spheres over the set of all worlds at which G is true. Conditional belief thereby implements static belief revision: to see what agent a believes after statically revising her beliefs by G we simply see what it is she believes conditional on G. Thus \(B_a^GF\) says that agent a believes F after statically revising her beliefs by G. 