 As we have seen, the ontological presuppositions of the most general type of predication differ completely from those of the other two types by which it is implied. The final result of Wyclif’s choices was therefore an incompletely developed system of intensional logic that he superimposed on the traditional system. Because the ontological basis of the most general type of predication, namely habitudinal predication, is completely different from those of the other two types of predication that should imply it, Alyngton and other Oxford authors of the subsequent generation tried to improve Wyclif’s theory by excluding habitudinal predication and redefining the other two kinds in a slightly different way.