Something resembling lamport timestamps to address issue #4