let cvar p x = Cvar(x,p)