diff --git a/header.go b/header.go
index 02e391e4..010ab2ca 100644
--- a/header.go
+++ b/header.go
@@ -27,6 +27,7 @@ type Header[H any] interface {
 	// Time returns time when header was created.
 	Time() time.Time
 	// Verify validates given untrusted Header against trusted Header.
+	// Verify should be able to validate both adjacent and non-adjacent headers.
 	Verify(H) error
 	// Validate performs stateless validation to check for missed/incorrect fields.
 	Validate() error
diff --git a/store/store.go b/store/store.go
index 9cb839f8..526b195f 100644
--- a/store/store.go
+++ b/store/store.go
@@ -407,13 +407,20 @@ func (s *Store[H]) flushLoop() {
 
 		startTime := time.Now()
 		toFlush := s.pending.GetAll()
-		err := s.flush(ctx, toFlush...)
-		if err != nil {
+
+		for i := 0; ; i++ {
+			err := s.flush(ctx, toFlush...)
+			if err == nil {
+				break
+			}
+
 			from, to := toFlush[0].Height(), toFlush[len(toFlush)-1].Height()
-			// TODO(@Wondertan): Should this be a fatal error case with os.Exit?
-			log.Errorw("writing header batch", "from", from, "to", to, "err", err)
+			log.Errorw("writing header batch", "try", i+1, "from", from, "to", to, "err", err)
 			s.metrics.flush(ctx, time.Since(startTime), s.pending.Len(), true)
-			continue
+
+			const maxRetrySleep = time.Second
+			sleep := min(10*time.Duration(i+1)*time.Millisecond, maxRetrySleep)
+			time.Sleep(sleep)
 		}
 
 		s.tryAdvanceHead(toFlush...)