Iterating Over A Symbolic Tfcu El