The starting point of Sharpe’s theory of universals and predication (as well as identity and distinction) is the theory worked out by Wyclif and some of his Oxford successors, such as Alyngton and Penbygull. Like Duns Scotus and Walter Burley, Wyclif held that universals in re (or formal universals) exist outside our minds in actu and not in potentia, as moderate realists thought. On the other hand, unlike Burley, he maintained that they are really identical with their own individuals, thus acce