"Third, the complexity S, I, P, O where S is an instance of S, O is an instance of" . . . .