Loewe_additivity loading ...