your favorite threat model. clocky like lamport