lamport-timestamp public under logical-clock 2 List Picture As a command Nothing is filed under lamport-timestamp.