Futher abstracting StateSum