Use new notation for closures. Add a sweet new proof for complement of closure is interior of complement