If instantiation is itself a relational universal, then when entity a instantiates universal F, a, F...