Value_theory loading ...