Local_hidden-variable_theory loading ...