Hm, suggest that level four is using virtual synchrony via a group multicast protocol (typically, Totem) that provides strong guarantees with regard to Lamport ordering.