Formal Subdivision