 His notion of coding is more general: we can further code collections of classes by taking a pair \(\langle K, R\rangle\) where \(K\) is a subclass of the field of \(R\); clearly any collection of classes codable in this way can be extensionally coded by using the axiom in the form we give.