Question: Did von Neumann rule hidden variable theories?
Sentence: Bub also suggests that von Neumann was aware of this limitation, and that von Neumann did not claim that his proof completely ruled out hidden variable theories.
Answer in sentence: yes