If a complete disjunction of E's true-worlds exhaustively specifies all necessary truths about E, no...
This proposition has not been edited since the history system was added.