closure / the theory