Doesn't `batchesCoveredBy(totalBatchInterval)` return `Empty`?