OMEMO Double Ratchet
