[dotancohen]

I'm just waiting for a system to describe in TLA+. I've been eyeballing it from afar for years without needing it yet.