{op: "i", o: {_id: "A", a: [1,2]}, ts: Timestamp(1, 1)}}

{op: "i", o: {_id: "B", a: [1,2]}, ts: Timestamp(1, 2)}}

| Applier 1            | Applier 2                    | Reader                                    |

|----------------------+------------------------------+-------------------------------------------|

| Begin Txn            |                              |                                           |

| Write B              |                              |                                           |

| Update Indexes       |                              |                                           |

| Update Multikeypaths |                              |                                           |

| TimestampTxn (1, 2)  |                              |                                           |

| Commit               |                              |                                           |

|                      | Begin Txn                    |                                           |

|                      | Write A                      |                                           |

|                      | Update Indexes               |                                           |

|                      | (No Multikeypaths to update) |                                           |

|                      | TimestampTxn (1, 1)          |                                           |

|                      | Commit                       |                                           |

|                      |                              | BeginTxn                                  |

|                      |                              | ReadTimestamp (1,1)                       |

|                      |                              | Sees A                                    |

|                      |                              | Does not see corresponding multikey paths |