No handlers anymore for computations, new definition of Spec.t including the answer