psp.api.Size
Preserving associativity/commutativity of Size prevents us from modifying values to enforce any invariants on Bounded.