Problem Many attempts have been made, starting from Quantum mechanics (QM), to prove the non-viability of hidden-variable (HV) solutions, and to justify the unnaturalness of QM explanations over physical realism. In particular, Colbeck & Renner (C&R) (2011) claimed to prove that no extension of quantum theory can exist with better predictive power than quantum mechanics itself. This implies tha...