Ez négy darab példázási reláció, melyek a realizmus álláspontja szerint akkor tartoznak ugyanabba a típusba, ha mind a négy egyazon univerzálét példáz. De ebben az esetben is két darab relációval van dolgunk, amelyek újból egy univerzálét példáznak, és így megy a végtelenségig...