let fresh = VAR.fresh