Formal Closure