E cannot be false in any world described by Dn, because if E were false in a world described by Dn, ...