subadditive (12)