This, in itself, is not an argument against universals per se but only against structural universals. Even so, if a theory of universals must postulate states of affairs, as Armstrong thinks it must, then the argument can be made to work against universals in general. For the state of affairs that Rab (where R is any non-symmetrical relation) necessitates that b exists, which seems to be a necessary connection between wholly distinct existences. And saying that a, b and R are parts of the state