Oh, right, that's an upper bound. Though, what is the latch's counter  isn't equal to 0 after 5 secs? That test should fail, shouldn't it?