Are there invariants for deltaSeconds? Can we check them here?