Speedup of Valuator: t+