Now we shall prove the converse: if is a probability revision conditional for an eligible method of revising probability functions, then is also a Stalnaker conditional for an eligible method of revising worlds.