New posts in Formal Schemes