add list$SUM to basis_emitTheory