A disjunction enumerating every world where E holds is hyperintensionally distinct from E, as shown ...