This is an old revision of the document!

## Foundational temp4

 Foundational temp3 $\succ$ $\succ$ Foundational temp formal power series