It is conceivable that a being might satisfy (D1) by knowing all truths without its being such that ...