Reduced or enlarged in proportion to something