Really solved Sumfact