“The core technical theme regarding how state changes propagate in fine-grained systems.”