Implications of the Pusey-Barrett-Rudolph quantum no-go theorem

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.
Comment: 4 pages. v2: tweaked presentation, new title; v3: minuscule edits to match published version