Sum Different? (Extended)

Sum Different? (Extended Version)