post: lamport timestamps