See Appendix C of https://mtpsym.github.io/paper.pdf https://mtpsym.github.io/paper.pdf (the underlying research paper). Reordering of messages (in one directio

See Appendix C of https://mtpsym.github.io/paper.pdf https://mtpsym.github.io/paper.pdf (the underlying research paper). Reordering of messages (in one direction) and "causality preservation" (both directions) are two different things.