# Two concurrent add() calls, Redis repository seeded with u0, a0; two writers add one message each, both read before either writes back stored afterwards: [u0, a0, ] (3 messages, 4 were sent)