The inference from W1's containing p to W1 being identical to the actual world illicitly assumes tha...