(module QED.Var)