Elaboration of Var Env.