huge improvements to ch7, rigorous definition of closure