An infinitely constructed disjunction listing E's true-worlds may be logically well-formed yet fail ...