DEPLOY:
                  second_distribution HOLDS  CONFIG_Lower ;
            DEPLOYED