Also, we may wish (in connection with propositional attitudes but not modalities), to individuate propositions more finely than by sets of possible worlds, and it is possible that such a 'fine structure' may permit the application of Gödelian arguments of the type used by Montague and Kaplan directly to propositions.