Speedup of valuator: t+
Speedup of valuator: t+