By being a little bit less strict in our assertions, we can still prove the behaviour is correct, without having to freeze / travel time.
Oliver Peate