Please re-time in taking in count that the guard at the beginning does not entirely affect the start (it takes around 0.20s to guard and powlau guard more than 1s) verifier note: retimed to 7:51