Distributed Agreement on Random Order – Fun with Lamport Timestamps – Deque