under #rust #mani #setsum A Setsum Manifest Setsum and mani can be combined together to track the setsum for a rich data structure.