the completion of the first async operation will perform s.dispatch(a),
and the second will perform s.dispatch(b),
but the order in which those are performed is unspecified. That is, you cannot
state whether one happens-before the other. Therefore none of the above conditions
are met and no ordering guarantee is made.