CompositeNDP                                                                        
│    provides   lift   {∞ N} │ requires   power   {0 W}                             
│                            │ requires   cost    {0 USD}                           
│  6 nodes, 3 edges                                                                 
│   connected rec: ✓                                                                
│  power required by _constant ≤ required power            equiv (always satisfied) 
│  cost required by _constant1 ≤ required cost             equiv (always satisfied) 
│  provided lift               ≤ lift provided by _limit   equiv (always satisfied) 
├  _constant: SimpleWrap                                                            
│             │  - │ requires   power   {0 W}                                       
│             └ DP_Constant 𝟙  ⇸  {0 W}                                             
│                0 W ≤ 𝒓                                                            
├ _constant1: SimpleWrap                                                            
│             │  - │ requires   cost   {0 USD}                                      
│             └ DP_Constant 𝟙  ⇸  {0 USD}                                           
│                0 USD ≤ 𝒓                                                          
└     _limit: SimpleWrap                                                            
              │  provides   lift   {∞ N} │ -                                        
              └ DP_Limit {∞ N}  ⇸  𝟙  > NVU:∞ N                                     
                 𝒇 ≤ ∞ N