The huge majority of philosophers seem to think that including impure properties in the range of the quantifiers of the principle would make the principle trivial. I have argued that it does not.