CompositeNDP                                                                                     
│    provides   f   SB(≥0) │ requires   r   SB(≥0)                                               
│  3 nodes, 2 edges                                                                              
│   connected rec: ✓                                                                             
│  provided f             ≤ _op provided by _mult   equiv id                                     
│  _res required by _mult ≤ required r              equiv id                                     
└ SimpleWrap                                                                                     
  │  provides   _op   SB(≥0) │ requires   _res   SB(≥0)                                          
  └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                                   
     𝒇 ⋅ 10 ≤ 𝒓                                                                                  
    M_C_WrapUnits   dimensionless → dimensionless > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 10