I know that the MVCC marks one transaction as invalid if, for example, two transactions are updating the same value of a key-value pair. The first one will be marked as vali