Galois: added timer.