Duality_theory loading ...