S(\infty)