let tau_of_var = VAR.tau_of_var