==========
Pseudocode
==========

Causal ordering
---------------

Greeting protocols
------------------

Key-rotation ratchets
---------------------