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