This revision is equivalent to (D1), however, given that for every false proposition there is a true one to the effect that the first one is false. (D1) already requires an omniscient being to know the latter proposition.