sum-over-paths