thms for keeping track of cenv