Causal vs FIFO Ordering with Transitive Dependency

Process $P_1$ sends message $m_1$ to $P_3$. After $P_2$ receives $m_1$ from $P_1$, $P_2$ sends $m_2$ to $P_3$. $P_3$ receives $m_2$ before $m_1$. Which ordering models, if any, does this scenario violate?