Maybe we should start by checking without time traveling, so the easy errors are more easy to understand.