sop-core-0.4.0.0: True Sums of Products