Tag: Symbolic convergence theory