Vect
CanonicalRepr
ReifiedLaws
value
Sum