Proposition. For an open-closed decomposition
Appears in 2 contracts
Sources: Not Applicable, Not Applicable