Your speech in Riga was very interesting, i'll study signal protocol, for me it's not clear how double ratchet exactly works, have you got something more technical?