Since W1 contains p, every conjunct of p in the actual world W is also a conjunct of the BCCF of W1,...