  Pusey, Barrett, and Rudolph introduce a new no-go theorem for
hidden-variables models of quantum theory. We make precise the class of models
targeted and construct equivalent models that evade the theorem. The theorem
requires assumptions for models of composite systems, which we examine,
determining "compactness" as the weakest assumption needed. On that basis, we
demonstrate results of the Bell-Kochen-Specker theorem. Given compactness and
the relevant class of models, the theorem can be seen as showing that some
measurements on composite systems must have built-in inefficiencies,
complicating its testing.
