James C - more env lemmas
James C - better Env
James C - moving forward again