full version of eval_Q (finally) ??