Updated FactorialSummation for TC