Now we can finally create the tausequence that I mentioned in the first videos of this part of the series, by nesting higher and higher phi_n functions. That produces a bigger number than we've ever had before, and it will also set us up for the interleaving of g and f.