 That is, nothing happens when the universe is extended, or shrunk, as long as the arguments are not changed. Now recall that for type \({\langle}1{\rangle}\) quantifiers we already provided a logical mechanism for restricting the quantification domain to a subuniverse, in terms of relativization  (section 7).  We can now see (in (b) below) that the combination of Conserv and Ext amounts to exactly the same thing: