Iterating Over A Symbolic Tfcu