taking in consideration the trivial result of sum-out, that you get when you sum out all vars