Test cases

Causal ordering

Greeting protocols

Key-rotation ratchets