Speedup of valuator: t+