 One way, therefore, of viewing Gregory’s theory is to say that he adopted the modified Heytesbury view described in  Section 3.5  above, the view that combines Heytesbury with Bradwardine, but that Gregory then moved that whole analysis into mental language. As in Heytesbury’s theory, insolubles for Gregory do not signify just as their words normally do—they do not express the mental proposition one would expect from the normal linguistic conventions. As in Bradwardine’s theory, insolubles for Gregory do signify partly that way (through the first conjunct of the mental proposition). But they do not signify precisely that way; they also signify that they are true (through the second conjunct of the mental proposition).