Shrink representation.
Fix constraint.