For those who haven't spotted it yet, specification 0.4 is now on the web site. Receive is now explicit, and the whole activation system is greatly simplified.