I guess I miss how double ratchet is different. My bad.