Verifier's note: the timer starts too late at the beginning and ends too early at the end, retimed