The current Sui implementation of the Mysticeti protocol is incorrect,
and the erroneous behavior can be demonstrated by simulating the vertex delivery order shown in Figure 2 of the paper.
