Local_hidden_variable_theory loading ...