## II.9: Formal Schemes