MLS uses ratcheting trees, it's different from Double Ratchet.