But the data can't be stale, because `a` and `b` are immutable